Process Specification Language - PDFSEARCH.IO - Document Search Engine

Process Specification Language
Results: 89

#	Item
11	Specification of the TOIF XML schema Deliverable Version 1.1 October. 1st , 2012 Add to Reading List Source URL: www.kdmanalytics.com Language: English - Date: 2013-12-04 15:52:01 ISO standards Unified Modeling Language XML Metadata Interchange Knowledge Discovery Metamodel Metamodeling Object Process Methodology XML schema Class diagram UML tool
12	Articles The Process Specification Language (PSL) Theory and Applications Add to Reading List Source URL: philebus.tamu.edu Language: English - Date: 2009-08-07 10:04:54
13	Towards a proposal for datatypes in E-LOTOS Source: Belgium∗, France†, Romania‡, United Kingdom§ Output document of ISO/IEC JTC1/SC21/WG7 ‘Enhancements to LOTOS’ Ottawa meeting, July 1995 Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2010-12-15 21:36:08 Software engineering Computing Computer programming Type theory Procedural programming languages Process calculi Data types Synchronization Language Of Temporal Ordering Specification Standard ML E-LOTOS ML
14	PDF Document Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:27:15 Formal methods Specification language Refinement Abstract state machines Specification Object Process Methodology Domain-specific language Programming language Integrated circuit design Formal specification Isabelle Program derivation
15	Kenneth J. Turner. Relating architecture and specification (pre-publication version). Computer Networks and ISDN Systems, 29(4):, MarchRelating Architecture and Specification Kenneth J. Turner Department of Add to Reading List Source URL: www.cs.stir.ac.uk Language: English - Date: 1999-06-01 18:25:54 Data ISO standards Concurrency Concurrency control Synchronization Language Of Temporal Ordering Specification Communications protocol RM-ODP Specification and Description Language Computing Process calculi Information
16	Web Services Business Process Execution Language Working Draft 01, 16 22 October 2003 Document identifier: wsbpel-specification-draft-01 (_XML_, _HTML_, _PDF_) Location: Add to Reading List Source URL: xml.coverpages.org Language: English - Date: 2004-03-21 03:02:36
17	Royalty Free Business Process Execution Language for Web Services Specification License Agreement Royalty Free Business Process Execution Language for Web Services Specification License Agreement This is a legal agreem Add to Reading List Source URL: download.microsoft.com Language: English - Date: 2004-10-08 13:11:13
18	SYSTEMATIC SOFTWARE DEVELOPMENT USING VDM SECOND EDITION SYSTEMATIC SOFTWARE Add to Reading List Source URL: homepages.cs.ncl.ac.uk Language: English - Date: 2015-01-08 04:19:12 Technology Formal specification Specification language Specification Functional specification Software development process Reification Abstraction Vienna Development Method Formal methods Software development Science
19	Unstructured Information Management Architecture (UIMA) Version 1.0 OASIS Standard 2 March 2009 Specification URIs: This Version: Add to Reading List Source URL: docs.oasis-open.org Language: English - Date: 2009-03-04 15:00:24 Technical communication Software architecture UIMA XML Open formats Business Process Execution Language General Architecture for Text Engineering Darwin Information Typing Architecture Computing Information Markup languages
20	Microsoft Word - wsbpel-specification-draftv181.doc Add to Reading List Source URL: xml.coverpages.org Language: English - Date: 2005-08-26 01:50:58 Process management Systems engineering Web services Business Process Execution Language Web Services Description Language SOAP WS-I Basic Profile Apache ODE BPEL4People Computing Web standards Workflow technology